Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic

نویسندگان

  • Juan Wang
  • Liang Chang
  • Chuangying Zhu
  • Rongsheng Dong
چکیده

Temporal description logic ALC-LTL not only has considerable expressive power, but also extends the description capability of description logic from the static domain to the dynamic domain. In this paper, ALC-LTL is applied for the composition of semantic Web services. We take the view that atomic process and composite process in the OWL-S ontology can be considered as atomic service and composited service respectively. Inputs, outputs, local variables, preconditions and results of atomic processes can all be described with ALC-LTL. Based on the models of services, the executability problem and the projection problem of Web services can be reasoned about effectively.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)

Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...

متن کامل

Formalizing and Verifying Authenticity over Assertion Changes for An Interaction Protocol

The Semantic Web techniques, like OWL, bring more semantic to the static information about functionalities and non-functionalities of Web services. However, it is not smooth to faithfully describe some dynamic aspects and support reasoning tasks. When discussing the security of interactions of Web services, we should solve such problems like how to describe interactive behaviors, static informa...

متن کامل

Semantically Annotating Reactive Services with Temporal Specifications

Most useful Web services are reactive systems that repeatedly act and react in interaction with their environment without necessarily terminating. Current Standards (XML based/Ontologies) for specifying behavioural semantics of services consider transformational aspects of service behaviour. Specification of reactive Web services require representation of properties that are temporal in nature....

متن کامل

OWLS-MX: Hybrid OWL-S Service Matchmaking

We present and evaluate an approach to hybrid semantic Web service matching, called OWLS-MX, that utilizes both logic based reasoning and content based information retrieval techniques for services specified in OWL-S. Results of our comparative measurements of performance and scalability of OWLS-MX variants and selected token-based IR similarity metrics provide experimental evidence that buildi...

متن کامل

Ontological Stream Reasoning via Syntactic Approximation

Traditionally Description Logic (DL)-based ontologies are only used to capture static knowledge. Recently the fast development of the Semantic Web and its evolving data raises the requirements of reasoning services on dynamic knowledge streams. In this paper, we present an efficient ontology stream reasoning approach which combines the delete and re-derive algorithm and the syntactic approximat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012